Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings: 10889 (Lecture Notes in Computer Science)
by Catherine Dubois, Burkhart Wolff
ISBN 13: 9783319929934
Format: Paperback (176 pages) Publisher: Springer Published: 06 Jul 2018
Save for later
Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings: 2758 (Lecture Notes in Computer Science)
by Burkhart Wolff, David Basin
ISBN 13: 9783540406648
Format: Paperback (380 pages) Publisher: Springer Published: 13 Jun 2008